COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	A few solitaire notes
C00003 ENDMK
C⊗;
A few solitaire notes

We will begin with a program to determine if a configuration
loses.  A configuration is a set of cards already played to
storage piles.  It loses if there is no assignment of these
cards to final piles, compativle with what is already on the
final piles, that doesn't have one of the cards on top of
a card that must precede it on a final pile.

lose[cardset, pos] ≡ ∀x(x ε assigns[cardset,pos] ⊃ lose1 x)

lose1 x ≡ ∃c1 c2 ε set x(above(c1,c2) ∧ precedes(c2,c1,x))